Termination w.r.t. Q of the following Term Rewriting System could not be shown:
Q restricted rewrite system:
The TRS R consists of the following rules:
b(a, f(b(b(z, y), a))) → z
c(c(z, x, a), a, y) → f(f(c(y, a, f(c(z, y, x)))))
f(f(c(a, y, z))) → b(y, b(z, z))
Q is empty.
↳ QTRS
Q restricted rewrite system:
The TRS R consists of the following rules:
b(a, f(b(b(z, y), a))) → z
c(c(z, x, a), a, y) → f(f(c(y, a, f(c(z, y, x)))))
f(f(c(a, y, z))) → b(y, b(z, z))
Q is empty.